<html>
	<body>
	A syntax-highlighting text editor.
	</body>
</html>